TSTP Solution File: DAT197^1 by SInE---0.4